例句與造句

1. A possible solution to this problem is : adopting symbolic transition graph with assignment ( stga for short ) to model value - passing systems , introducing a predicate mu - calculus to characterize desired properties , and verifying value - passing concurrent processes using an " on - the - fly " algorithm
   解決這個問題的一個方案是：使用帶賦值符號遷移圖( stga )作為并發(fā)傳值進程的模型，使用謂詞演算作為刻畫性質(zhì)的邏輯，并采用動態(tài)實例化的算法對傳值并發(fā)進程直接進行模型檢測。
2. It's difficult to find transition graph in a sentence. 用transition graph造句挺難的